Looking for a book from a decade ago with Minizinc examples

I last studied Minizinc nearly a decade ago, and during that time I vaguely recall there being a handbook with various problems and solutions in Minizinc. I can barely recall what it was, I only played with Minizinc during the Coursera course and haven't touched it at all for a decade after that, but now I have good use for it, and I am trying to recall what that was.